1041. Selected papers of Alan Hoffman with commentary /
پدیدآورنده: edited by Charles A. Micchelli.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis.,Programming (Mathematics),Combinatorial analysis.,MATHEMATICS-- Combinatorics.,Programming (Mathematics)
رده :
QA164
.
H64
2003eb
1042. Selected papers of Alan Hoffman with commentary
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Combinatorial analysis. ; Programming (Mathematics) ;
1043. Selected papers of Alan Hoffman with commentary
پدیدآورنده: / edited by Charles Micchelli
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Combinatorial analysis.,Programming (Mathematics)
رده :
QA
,
164
,.
H64
,
2003
1044. Self-regularity
پدیدآورنده: / Jiming Peng, Cornelis Roos and Tam??s Terlaky
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematical optimization.,Interior-point methods.,Programming (Mathematics)
1045. Self-regularity: a new paradigm for primal-dual interior-point algorithms
پدیدآورنده: Peng, Jiming
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Mathematical optimization,، Interior-point methods,، Programming )Mathematics(
رده :
QA
402
.
5
.
P4185
1046. Semantics and algebraic specificatio
پدیدآورنده: / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
1047. Semantics and algebraic specification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
1048. Semantics of the probabilistic typed lambda calculus : Markov Chain semantics, termination behavior, and denotational semantics
پدیدآورنده: Dirk Draheim
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,Mathematics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
D72S4
1049. Semi-Infinite programming and applications : an international symposium Austin, Texas, September 8-10, 1981
پدیدآورنده: / Edited by A. V. Fiacco, K. O. Korta
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Programming (Mathematics) - Congresses,Mathematics optimization - Congresses,Daulity theory Mathematics - Congresses
رده :
QA402
.
5
.
S428
1983
1050. Semi-infinite programming and applications : an international symposium, Austin, Texas, September 8-10, 1981
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming ]Mathematics[-- Congresses,، Mathematical optimization-- Congresses,، Duality theory ]Mathematics[-- Congresses
رده :
QA
402
.
5
.
S428
1983
1051. Semi-infinite programming
پدیدآورنده: edited by Rembert Reemtsen, Jan-J. Ruckmann
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Linear programming , Programming )Mathematics(
رده :
T
57
.
74
.
S535
1998
1052. Semi-infinite programming
پدیدآورنده : edited by Rembert Reemtsen, and Jan-J. Ruckmann
موضوع : Linear programming,Programming (Mathematics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1053. Semi-infinite programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Linear programming,، Programming )Mathematics(
رده :
T
57
.
74
.
S535
1998
1054. Sensitivity,stability,& parametric analysis
پدیدآورنده: FIACCO,ANTHONY V ED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: PROGRAMMING )MATHEMATICS(-ADDRESSES,
رده :
QA
402
.
5
.
S46
1055. Set-valued optimization :an introduction with applications
پدیدآورنده: Khan, Akhtar A
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Duality theory )Mathematics(,، Programming )Mathematics(,، Set-valued maps,، Mathematical optimization
رده :
QA
402
.
5
.
K45
2015
1056. Set-valued optimization: an introduction with applications
پدیدآورنده: Khan, Akhtar A
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Duality theory )Mathematics(,، Mathematical optimization,، Set-valued maps,، Programming )Mathematics(
رده :
QA
1
.
K45
2015
1057. Simple digital computing examples
پدیدآورنده: Gregory, Malcolm S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
5
.
G69
1058. Simplicial global optimization
پدیدآورنده: Remigijus Paulavičius, Julius Žilinskas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis.,Mathematics.,Nonconvex programming.
1059. Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 1819, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 1819, 2021, Revised Selected Papers
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: COMPUTERS / Programming / General ; Mathematics ; Science ; Sciences ;
1060. Solution manual opertions research an introduction
پدیدآورنده: Taha, Hamdy A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Handbooks, manuals, etc ، Operations research,، Programming )Mathematics(
رده :
T
57
.
6
.
T32
1987
manual
